781. Categories in computer science and logic
Author: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Computer science- Mathematics- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
9
.
M35
,
A47
782. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
Classification :
QA
76
.
9
.
M35
.
A47
1987
783. Categories, types, and structures
Author: Andrea Asperti, Giuseppe Longo.,Asperti, Andrea.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991
784. Category theory and computer science :
Author: Eugenio Moggi, Giuseppe Rosolini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
Classification :
QA76
.
9
.
M35
C38
1997
785. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987
786. Category theory and computer science
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Categories (Mathematics) ► Computers science
Classification :
511
C357
787. Category theory and computer science
Author: / D.H. Pitt ... [et al.] (ed.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Categories (Mathematics)--Congresses
Classification :
QA
,
76
.
6
,.
C3882
,
1989
788. Category theory and computer science
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Categories (Mathematics) ► Computers science
Classification :
511
C357
789. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
790. Category theory and computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
6
.
C38
791. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
792. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
283
793. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
283
794. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C388
1987
R
795. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
796. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
797. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
389
798. Category theory and computer science: Manchester, UK, September, 1989, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
169
.
P7
1989
799. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... [et al.] (ed.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C3882
1989
R
800. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
Classification :
QA
75
.
5
.
S86
1991
